TSTP Solution File: ALG254^2 by Mace4---1109a